computability theory câu

• In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.
  Thêm vào đó, PLT sử dụng nhiều nhánh khác của toán học, bao gồm lý thuyết tính toán, lý thuyết thể loại, và lý thuyết tập hợp.
• Theoretical computer science includes computability theory, computational complexity theory, and information theory.
  Khoa học máy tính lý thuyết bao gồm lý thuyết khả tính (computability theory), lý thuyết độ phức tạp tính toán, và lý thuyết thông tin.
• Theoretical computer science includes computability theory , computational complexity theory , and information theory.
  Khoa học máy tính lý thuyết bao gồm lý thuyết khả tính (computability theory), lý thuyết độ phức tạp tính toán, và lý thuyết thông tin.
• Theoretical computer science includes computability theory, computational complexity theory, & information theory.
  Khoa học máy tính lý thuyết bao gồm lý thuyết khả tính (computability theory), lý thuyết độ phức tạp tính toán, và lý thuyết thông tin.
• Computability theory examines the limitations of various theoretical models of the computer, including the most well-known model - the Turing machine.
  Lý thuyết khả tính khảo sát những giới hạn của những mô hình lý thuyết khác nhau về máy tính, bao gồm mô hình máy Turing nổi tiếng.
• Computability theory examines the limitations of various theoretical models of the computer, including the most well known model – the Turing machine.
  Lý thuyết khả tính khảo sát những giới hạn của những mô hình lý thuyết khác nhau về máy tính, bao gồm mô hình máy Turing nổi tiếng.
• Computability theory examines the limitations of various theoretical models of the computer, including the most well-known model – the Turing machine.
  Lý thuyết khả tính khảo sát những giới hạn của những mô hình lý thuyết khác nhau về máy tính, bao gồm mô hình máy Turing nổi tiếng.
• Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model – the Turing machine.
  Lý thuyết khả tính khảo sát những giới hạn của những mô hình lý thuyết khác nhau về máy tính, bao gồm mô hình máy Turing nổi tiếng.
• Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model - the Turing machine.
  Lý thuyết khả tính khảo sát những giới hạn của những mô hình lý thuyết khác nhau về máy tính, bao gồm mô hình máy Turing nổi tiếng.
• According to Gregory Chaitin, it is "the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously."
  Theo Gregory Chaitin, đó là "kết quả của việc đưa lý thuyết thông tin của Shannon và lý thuyết tính toán của Turing vào một bình lắc cocktail và lắc mạnh." [1]
• According to Gregory Chaitin, it is "the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously."[1]
  Theo Gregory Chaitin, đó là "kết quả của việc đưa lý thuyết thông tin của Shannon và lý thuyết tính toán của Turing vào một bình lắc cocktail và lắc mạnh." [1]
• According to Gregory Chaitin, it is "the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously." [1]
  Theo Gregory Chaitin, đó là "kết quả của việc đưa lý thuyết thông tin của Shannon và lý thuyết tính toán của Turing vào một bình lắc cocktail và lắc mạnh." [1]
• According to Gregory Chaitin, it is "the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously." [ [WEB Algorithmic Information Theory ] ]
  Theo Gregory Chaitin, đó là "kết quả của việc đưa lý thuyết thông tin của Shannon và lý thuyết tính toán của Turing vào một bình lắc cocktail và lắc mạnh." [1]
• "It [algorithmic information theory] is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously."
  Theo Gregory Chaitin, đó là "kết quả của việc đưa lý thuyết thông tin của Shannon và lý thuyết tính toán của Turing vào một bình lắc cocktail và lắc mạnh." [1]
• In computability theory, the halting problem can be stated as follows: Given a description of an arbitrary computer program, decide whether the program finishes running or continues to run forever.
  Trong lý thuyết khả tính, bài toán dừng có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không.
• In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever
  Trong lý thuyết khả tính, bài toán dừng có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không.
• In turn, imposing restrictions on the available resources is what distinguishes computational complexity from computability theory: the latter theory asks what kind of problems can be solved in principle algorithmically.
  Đổi lại, áp đặt các hạn chế đối với các tài nguyên có sẵn là điều phân biệt độ phức tạp tính toán với lý thuyết tính toán: lý thuyết sau hỏi về loại nguyên tắc nào có thể được giải quyết theo thuật toán.
• In turn, imposing restrictions on the available resources is what distinguishes computational complexity from computability theory: the latter theory asks what kind of problems can, in principle, be solved algorithmically.
  Đổi lại, áp đặt các hạn chế đối với các tài nguyên có sẵn là điều phân biệt độ phức tạp tính toán với lý thuyết tính toán: lý thuyết sau hỏi về loại nguyên tắc nào có thể được giải quyết theo thuật toán.
• Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
  Lý thuyết tính toán, còn được gọi là lý thuyết đệ quy, là một nhánh của logic toán học, của khoa học máy tính và của lý thuyết tính toán (theory of computation) bắt nguồn từ những năm 1930 với nghiên cứu về các hàm tính toán và độ Turing.